Towards an Open Architecture for LDL
نویسندگان
چکیده
We extend LDL to allow programs to call external procedures and vice versa. This extension allows the modularization of LDL, since external predicates are equivalent to external procedures written in LDL. External predicates are viewed as infinite relations so that the traditional semantics of logic programs remain applicable. To avoid computing infinite relations, wellformedness conditions for programs in extended LDL are given. The traditional optimization framework can still be used; it is only necessary to define a new set of cost functions capable of handling the infinite relations. The problem of interfacing LDL programs with external procedures—exchanging complex objects and returning multiple solutions—is discussed. Thus, we provide a general framework to allow logic programs to interact with external procedures without sacrificing amenities such as optimization, safety, etc. This approach forms the basis for the implementation of externals and modules in the LDL compiler and optimizer at MCC.
منابع مشابه
Towards on Open Architecture for LDL
We extend LDL to allow programs to call external procedures and vice versa. This extension allows the mod-ularization of LDL, since external predicates are equivalent to external procedures written in LDL. External predicates are viewed as innnite relations so that the traditional semantics of logic programs remain applicable. To avoid computing innnite relations, well-formedness conditions for...
متن کاملExplaining the effective features of open and semi-open spaces in availability and increase of social interactions in residential complexes
By increasing house demand for living, the urban development planning has turned to towers, which provides a platform for the growth of the city, regardless of the traditional Iranian's architecture. Among the vital elements in traditional architecture, there are a variety of open and semi-open spaces such as the central courtyard, pool, veranda, balcony, etc that have been provided the needs f...
متن کاملLost Space Renewal; a Reborn of an Urban Water Body
Due to rapid growth of urbanization and economic demand, we are continuously losing our fields,our free lands, open sky, ponds, lakes; actually our breathing spaces. Sometimes for zoning policies, migration ortransferal of a particular business or activity, a place like waterfronts, body of water, military or industrial sites can lostits importance, kept vacant and become a dead place. These ar...
متن کاملThe Optimization of Open- Space Based on Social Theory in Iran
The usage of social theories in the human-built environment caused to enhance life quality. It may consist of human needs in residential areas. Sometimes, building codes can help to exist accepted life space, but the building codes do not have basic theory such as actual open space in residential plots. The study was an attempt to represent a new approach in urban land subdivision and the relat...
متن کاملTowards an Open Architecture for IcDl
We extend LDl to allow programs to call external procedures and vice versa. This extension allows the modularization of L Dl, since external predicates are equivalent to external procedures written in L3 DL. External predicates are viewed as infinite relations so that the traditional semantics of logic programs remain ap plicable. To avoid computing infinite relations, wellformedness conditions...
متن کامل